1. Tools for Practical Software Verification :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic design.,Software engineering.

رده :
QA76
.
76
.
V47
E358
2012